On software verification for sensor nodes
نویسندگان
چکیده
منابع مشابه
On software verification for sensor nodes
We consider software written for networked, wireless sensor nodes, and specialize software verification techniques for standard C programs in order to locate programming errors in sensor applications before the software’s deployment on motes. Ensuring the reliability of sensor applications is challenging: lowlevel, interrupt-driven code runs without memory protection in dynamic environments. Th...
متن کاملSoftware Verification for Sensor Nodes
We look at software written for wireless sensor nodes, and specialize and develop on the state of the art in software verification techniques for standard C programs (CBMC and SatAbs from the CProver suite) in order to locate programming errors in sensor applications before the software’s deployment on motes. Ensuring the reliability of sensor applications is an exemplary difficult problem for ...
متن کاملComputing Laboratory ON SOFTWARE VERIFICATION FOR SENSOR NODES
We consider software written for networked, wireless sensor nodes, and specialize software verification techniques for standard C programs in order to locate programming errors in sensor applications before the software’s deployment on motes. Ensuring the reliability of sensor applications is challenging: low-level, interrupt-driven code runs without memory protection in dynamic environments. T...
متن کاملOn Software Veri!cation for Sensor Nodes
We consider software written for networked, wireless sensor nodes, and specialize software verification techniques for standard C programs in order to locate programming errors in sensor applications before the software’s deployment on motes. Ensuring the reliability of sensor applications is challenging: lowlevel, interrupt-driven code runs without memory protection in dynamic environments. Th...
متن کاملSynthesis of Embedded Software for Sensor Nodes
In this work, we address the synthesis of embedded software for sensor nodes in two important, specialized contexts. In the first context, an optimization framework is designed to automate the design space exploration of application-specific wireless sensor networks in order to adjust configuration parameters for deriving a streamlined overall implementation of the system. The framework is buil...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Systems and Software
سال: 2011
ISSN: 0164-1212
DOI: 10.1016/j.jss.2011.04.054